Partial Maps with Domain and Range: Extending Schein's Representation
نویسندگان
چکیده
منابع مشابه
Extending Alloy with Partial Instances
Kodkod, the backend of Alloy4, incorporates new features for solving models where part of the solution, that is, a partial instance, is already known. Although Kodkod has had this functionality for some time, it is not explicitly available to the modeller through the Alloy language syntax. We propose an extension to the Alloy language to make partial instances explicitly available to the Alloy ...
متن کاملThe finite representation property for composition, intersection, domain and range
We prove that the finite representation property holds for representation by partial functions for the signature consisting of composition, intersection, antidomain and range. It follows that the finite representation property holds for any expansion of this signature with the fixset, preferential union, maximum iterate and opposite operators. The proof shows that for all these signatures the s...
متن کاملExtending the Radar Dynamic Range using Adaptive Pulse Compression
The matched filter in the radar receiver is only adapted to the transmitted signal version and its output will be wasted due to non-matching with the received signal from the environment. The sidelobes amplitude of the matched filter output in pulse compression radars are dependent on the transmitted coded waveforms that extended as much as the length of the code on both sides of the target loc...
متن کاملSpatial Representation with Aspect Maps
This paper describes the aspect map approach to model the processing of geographic maps. Geographic maps are described as spatial representation media which play an important role in many processes of human spatial cognition. We focus on the aspectuality of representation and therefore deal with aspect maps: spatial organization structures in which one or more aspects of geographic entities are...
متن کاملExtending Rational Maps
We investigate when a rational endomorphism of the Riemann sphere C extends to a mapping of the upper half-space H3 which is rational with respect to some measurable conformal structure. Such an extension has the property that it and all its iterates have uniformly bounded distortion. Such maps are called uniformly quasiregular. We show that, in the space of rational mappings of degree d, such ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications in Algebra
سال: 2009
ISSN: 0092-7872,1532-4125
DOI: 10.1080/00927870802625562